basic
\\[0ex]Sym($T$;$x$,$y$.$E$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$a$, $b$:$T$. $E$($a$;$b$) $\Rightarrow$ $E$($b$;$a$)